Probabilistically checkable proof - PDFSEARCH.IO - Document Search Engine

Probabilistically checkable proof
Results: 138

#	Item
31	Unprovable Security of Two-Message Zero Knowledge Kai-Min Chung∗ Edward Lui∗ Mohammad Mahmoody∗ Rafael Pass∗ December 19, 2012 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-19 11:29:49 Complexity classes Cryptographic protocols Probabilistic complexity theory Interactive proof system Probabilistically checkable proof IP Soundness Zero-knowledge proof Time complexity Theoretical computer science Computational complexity theory Applied mathematics
32	Expressive Languages for Path Queries over Graph-Structured Data Pablo Barcelo´ Carlos Hurtado Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-04-02 11:57:56 Metalogic Model theory Structure Universal algebra FO Probabilistically checkable proof String Data integration Conjunctive query Mathematics Formal languages Theoretical computer science
33	PCPリーフレット＿表面2 Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2010-03-18 07:02:09 Probabilistically checkable proof Law and economics Academia Science Knowledge Association of Pacific Rim Universities Keio University Minato Tokyo
34	PCP Festa Info Session -Finance Major- Student Sub-Representative Professional Career Program, Keio University October 18th, 2014 Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2014-10-22 01:05:16 Piperidines Probabilistically checkable proof TOEIC TOEFL Keio University PCP Medicine Education Neurochemistry Euphoriants Phencyclidine
35	THE TAKEOVER PANEL CODE COMMITTEE PUBLIC CONSULTATION PAPER: POST-OFFER UNDERTAKINGS AND Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-09-15 03:37:05 United Kingdom company law Notation Procedural programming languages City Code on Takeovers and Mergers Panel on Takeovers and Mergers Takeover Probabilistically checkable proof C SQL Computing Mergers and acquisitions Software engineering
36	The Secretary to the Code Committee The Takeover Panel 10 Paternoster Square London EC4M 7DY Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-09-05 05:30:10 Piperidines Grant Thornton International Pension Takeover Probabilistically checkable proof Financial economics Medicine Neurochemistry Euphoriants Phencyclidine
37	1 A brief overview of Complexity Theory The following brief overview is intended as a teaser for students in an introductory course on Complexity Theory. Out of the tough came forth sweetness1 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:17 Probabilistic complexity theory Computational complexity theory Mathematical optimization Structural complexity theory NP-complete Complexity NP P versus NP problem Probabilistically checkable proof Theoretical computer science Applied mathematics Complexity classes
38	Verifying Computations with Streaming Interactive Proofs Graham Cormode AT&T Labs—Research [removed] Justin Thaler ∗ Add to Reading List Source URL: www.vldb.org Language: English - Date: 2011-09-28 10:12:24 Complexity classes Probabilistic complexity theory Interactive proof system IP NP Probabilistically checkable proof Cryptographic protocols FO Soundness Theoretical computer science Computational complexity theory Applied mathematics
39	Introduction to Complexity Theory { Lecture Notes Oded Goldreich Department of Computer Science and Applied Mathematics Weizmann Institute of Science, Israel. Email: [removed] July 31, 1999 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2000-12-12 06:50:00 Complexity classes Mathematical optimization Structural complexity theory NP-complete Polynomial-time reduction P versus NP problem NP P-complete Probabilistically checkable proof Theoretical computer science Computational complexity theory Applied mathematics
40	THE TAKEOVER PANEL CODE COMMITTEE POST-OFFER UNDERTAKINGS AND INTENTION STATEMENTS: PUBLICATION OF RS Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-12-23 03:31:38 Computing Panel on Takeovers and Mergers Procedural programming languages Software engineering Takeover C Probabilistically checkable proof Programming language theory Mergers and acquisitions United Kingdom company law City Code on Takeovers and Mergers